CORE

馃嚭馃嚘聽聽 make metadata, not war

    9 research outputs found

    A partial solution of the finite spectrum problem

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    University of Szeged

    A characterization of quasi-varieties in equality-free languages

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    University of Szeged

    Structure-filters in equality-free model theory

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    University of Szeged

    A theory of finite functions, part I. : on finite trees associated to certain finite functions

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    University of Szeged

    An effective theorem proving algorithm

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    University of Szeged

    On the number of zero order interpolants

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    University of Szeged

    A note on symmetric Boolean functions

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    University of Szeged

    A method for minimizing partially defined Boolean functions

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    University of Szeged

    New results on computer communication. 2

    Author
    Publication venue
    MTA KFKI
    Publication date
    Field of study
    Get PDF
    REAL-EOD
    corecore